<?hh
function t(?X $a) {
 echo 1;
 }
 t(42);
echo "\n";
